Index: tools/build/push2dist.sh
===================================================================
--- tools/build/push2dist.sh	(revision ebe0f0dad3c064785fa32ab5d51467010ee4f640)
+++ tools/build/push2dist.sh	(revision fd4d3017a6c341cbc364e580b8b6740cb795380c)
@@ -19,5 +19,5 @@
 # echo "Copying to machines : ${hosts} (hash=${hash})"
 
-files="../../../driver/cfa ../../../driver/cfa-cpp ../../../driver/cc1 ../../../driver/as $(find . -name '*.c*' | tr '\n' ' ')"
+files="../../../driver/cfa ../../../driver/cfa-cpp ../../../driver/cc1 ../../../driver/as defines.hfa $(find . -name '*.c*' | tr '\n' ' ')"
 # echo "Files ${files}"