- cint/*: Revamped the launch-scheme for ginaccint.bin. It must be done

[ginac.git] / configure.in

diff --git a/configure.in b/configure.in
index f1212483a0b0b7e95cd52172571861787c589bd5..a9c3f3bb2c77f45e16976d5a8c1db636986f541f 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -192,7 +192,7 @@ doc/Makefile
 doc/tutorial/Makefile
 doc/reference/Makefile
 cint/Makefile
-cint/ginaccint
-], [chmod +x ginac-config cint/ginaccint])
+cint/launch.h
+], [chmod +x ginac-config])
 dnl Display a final warning if there has been a GINAC_ERROR or a GINAC_WARNING
 GINAC_CHECK_ERRORS