Fix makefile

diff --git a/Makefile.base b/Makefile.base
index 9901644035cee9e0610447751befe4b1e28cb7cc..54dbf1aa548f6a1b9e8e1ee81e2ea1fde4bc03aa 100644 (file)
--- a/Makefile.base
+++ b/Makefile.base
@@ -94,6 +94,7 @@ resources: libs
                        cp "$$ln" "../bin/$$ln" ; \
                fi ; \
        done
+       @cp VERSION bin/
 
 test-resources: resources
        @echo Copying test resources into bin/...