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