Added make release option.

2017-11-11 14:30:29 +02:00
parent 825f751bc2
commit 021f616aef
4 changed files with 48 additions and 0 deletions
@@ -141,6 +141,9 @@ install:
 uninstall:
 	${NINJA} ${NINJA_OPT} uninstall

+release:
+	${NINJA} ${NINJA_OPT} release
+
 check:
 	${MESONTEST} ${NINJA_OPT}
 END