Index: tools/build/push2dist.sh
===================================================================
--- tools/build/push2dist.sh	(revision 6716d7836e0b9ad9ef228067f20cf7f185f2532f)
+++ tools/build/push2dist.sh	(revision 6c12fd28ccd5d0df5de4277788cba0edd4a3bc8c)
@@ -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}"