14 lines
164 B
Bash
Executable File
14 lines
164 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
: > makelogger
|
|
|
|
cp Makefile Makefile.prev
|
|
|
|
utils/makefilelogger.pl Makefile.prev > Makefile
|
|
|
|
make "$@"
|
|
|
|
rm Makefile
|
|
mv Makefile.prev Makefile
|
|
|