diff options
Diffstat (limited to 'testing/nomp/make-path.patch')
| -rw-r--r-- | testing/nomp/make-path.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testing/nomp/make-path.patch b/testing/nomp/make-path.patch new file mode 100644 index 0000000000..5d69caf4b8 --- /dev/null +++ b/testing/nomp/make-path.patch @@ -0,0 +1,13 @@ +diff --git a/Makefile b/Makefile +index c53a4b7..05aa874 100644 +--- a/Makefile ++++ b/Makefile +@@ -6,7 +6,7 @@ BUILDDIR = .build + SOURCES = $(wildcard src/*.cc) + OBJECTS = $(patsubst $(SOURCEDIR)/%.cc,$(BUILDDIR)/%.o,$(SOURCES)) + DEPS := $(OBJECTS:.o=.d) +-PREFIX = /usr/local ++PREFIX = /usr + TARGET = nomp + + .SILENT: |