diff options
Diffstat (limited to 'Makefile-patch')
-rw-r--r-- | Makefile-patch | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/Makefile-patch b/Makefile-patch deleted file mode 100644 index 143b3b825adb..000000000000 --- a/Makefile-patch +++ /dev/null @@ -1,23 +0,0 @@ ---- asis-gpl-2017-src/Makefile -+++ asis-gpl-2017-src-new/Makefile -@@ -9,7 +9,8 @@ - # ==================================================== build - - .PHONY: all --all: setup-snames -+#all: setup-snames -+all: - $(GPRBUILD) -p -j0 -XBLD=$(BLD) -XASISOPSYS=$(ASISOPSYS) -XGNSA=$(GNSA) \ - $(GPRBUILD_FLAGS) -XASIS_COMPONENTS=$(COMPS) build_asis.gpr - -@@ -30,7 +31,8 @@ - # snames.ads". 'cmp' returns true (i.e. 0) if the files are identical. - - .PHONY: setup --setup: setup-snames setup-factory -+setup: setup-factory -+#setup: setup-snames setup-factory - - .PHONY: setup-snames - setup-snames: gnat/snames.ads-tmpl gnat/snames.adb-tmpl gnat/xutil.ads gnat/xutil.adb - |