diff options
Diffstat (limited to 'lang/ats/files/patch-libatsdoc_Makefile')
| -rw-r--r-- | lang/ats/files/patch-libatsdoc_Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/ats/files/patch-libatsdoc_Makefile b/lang/ats/files/patch-libatsdoc_Makefile new file mode 100644 index 000000000000..cfbacbe06a88 --- /dev/null +++ b/lang/ats/files/patch-libatsdoc_Makefile @@ -0,0 +1,11 @@ +--- libatsdoc/Makefile.orig 2012-09-06 15:39:38.797921223 +0800 ++++ libatsdoc/Makefile 2012-09-06 15:40:12.166571629 +0800 +@@ -43,7 +43,7 @@ + ###### + + all:: Makefile_out +-all:: ; make -f Makefile_out ++all:: ; $(MAKE) -f Makefile_out + all:: cleanall + + ###### |