1 files changed, 0 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index f268487..9c3dcb1 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,6 @@ all:
 	$(MAKE) -C utils
 	$(MAKE) -C doxygen
 	$(MAKE) -C examples
-	$(VERSIONSCRIPT) check
 
 .PHONY: clean
 clean: