Merge pull request #75 from wrapl/dev

Updates.
wrapl · May 18, 2019 · dbb3423 · dbb3423
2 parents c853fc9 + 28594d7
commit dbb3423
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -70,7 +70,7 @@ clean:
 	rm -f *.o
 
 PREFIX = /usr
-install_bin = $(PREFIX)/bin
+install_bin = $(DESTDIR)$(PREFIX)/bin
 
 install_exe = $(install_bin)/rabs
 

diff --git a/minilang b/minilang