[r2005-03-24 18:11:20 by afrisch] Empty log message

Original author: afrisch Date: 2005-03-24 18:11:20+00:00

[r2005-03-24 18:11:20 by afrisch] Empty log message
Original author: afrisch Date: 2005-03-24 18:11:20+00:00
3d508dcb · Pietro Abate · b8f6ba19 · 3d508dcb
Commit 3d508dcb authored Jul 10, 2007 by Pietro Abate
--- a/Makefile.types
+++ b/Makefile.types
@@ -76,7 +76,7 @@ cduce/misc/stats.cmo: cduce/misc/stats.ml

 cduce/cat1:
 	echo "cat \$$1" > cduce/cat1
-	chmod +x cat1
+	chmod +x cduce/cat1

 .SUFFIXES: .ml .mli .cmo .cmi .cmx