diff options
Diffstat (limited to 'Makefile.stub-patch')
-rw-r--r-- | Makefile.stub-patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile.stub-patch b/Makefile.stub-patch deleted file mode 100644 index 469ef3d17fbb..000000000000 --- a/Makefile.stub-patch +++ /dev/null @@ -1,15 +0,0 @@ ---- asis-gpl-2017-src/Makefile.stub -+++ asis-gpl-2017-src-new/Makefile.stub -@@ -3,8 +3,9 @@ - - # Where Asis library should be installed - # Default is into current GNAT directory --INSTALL_DIR = $(dir $(shell which gnatls)).. --prefix=$(INSTALL_DIR) -+#INSTALL_DIR = $(dir $(shell which gnatls)).. -+#prefix=$(INSTALL_DIR) -+prefix=$(PREFIX) - - # System commands - LN = ln -s - |