Makefile: do not depend copy_version_source on $(VERSION_FILE).

[armadillo.git] / Makefile

diff --git a/Makefile b/Makefile
index 623aff9498bbdf9f19531e0c44e75c022f1b36bd..e7ea2f05abe885c880cd397da0ed439112d5dda6 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -65,8 +65,8 @@ $(VERSION_FILE):
        echo "$(VERSION_NAMESPACE).STAMP = $(shell date +%s);" >> $(VERSION_FILE)
 
 # Copies the version template to the source.
-copy_version_src: $(VERSION_FILE)
-       cp $< $(VERSION_SOURCE)
+copy_version_src:
+       cp $(VERSION_FILE) $(VERSION_SOURCE)
 
 # Commits the version source and the frontend bin.
 stamp: