1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#!/bin/sh if [ $(whoami) = ds ] ; then confflags="--enable-gtk-doc" else confflags="--enable-gtk-doc" fi set -e autoreconf -i -f if [ -z "$NOCONFIGURE" ]; then ./configure --enable-maintainer-mode --disable-static $confflags $@ fi