pass command line args to make

This commit is contained in:
Andre Weinand 2015-11-12 17:48:58 +01:00
Родитель 401b99ee2f
Коммит edda72f675
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -1,3 +1,3 @@
#!/bin/bash
make -f Makefile
make -f Makefile $*