blob: 7c658591e489cf6c46270a1552d65243b64c6440 (
plain)
1
2
3
|
#!/bin/sh
if [ $# -eq 0 ]; then set all install; fi # "$@" breaks make for empty args
make CC=gcc BIN=/homes/nr/pkg/noweb/bin LIB=/homes/nr/pkg/noweb/lib MAN=/homes/nr/pkg/noweb/man TEXINPUTS=/homes/nr/pkg/tex/inputs "$@"
|