40c0d1ba5
6e3981da3
1
2 3 4 5 6 7 8 9 10 11 12 13 14
15 16
17 18
19
#!/bin/sh set -e autoreconf -i --force run_configure=true for arg in $*; do case $arg in --no-configure) run_configure=false ;; *) ;; esac done if test $run_configure = true; then ./configure "$@" fi