(no commit message)

diff --git a/test-build-install-use b/test-build-install-use
index fde6bdc..66954cc 100755 (executable)
--- a/test-build-install-use
+++ b/test-build-install-use
@@ -10,8 +10,8 @@ MAKE="dmake"
 ./configure --prefix="$INSTPREFIX"
 # todo: at the moment running make dist on clean source does not work
 $MAKE
-#$MAKE distcheck
-$MAKE dist
+$MAKE distcheck
+#$MAKE dist
 $MAKE install
 
 echo "OK: library and code generator compiled and installed"