diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2011-10-04 07:48:23 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2011-10-04 07:48:23 +0200 |
| commit | e26bf7cc5e288e25840edade1d9ac8943d463df9 (patch) | |
| tree | 7da0d57aea00457026f1ec65b5b2622575743bd6 | |
| parent | 62178006d3a9b899beed8b42321b2ce06e4dd643 (diff) | |
| download | bin-e26bf7cc5e288e25840edade1d9ac8943d463df9.zip bin-e26bf7cc5e288e25840edade1d9ac8943d463df9.tar.gz | |
wayland.sh: add -f flag
| -rwxr-xr-x | wayland-build.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/wayland-build.sh b/wayland-build.sh index 0ec41c1..c34d89c 100755 --- a/wayland-build.sh +++ b/wayland-build.sh @@ -13,6 +13,8 @@ PKG_CONFIG_ALLOW_SYSTEM_CFLAGS=1 export WLD LD_LIBRARY_PATH PKG_CONFIG_PATH ACLOCAL C_INCLUDE_PATH LIBRARY_PATH PKG_CONFIG_ALLOW_SYSTEM_CFLAGS BUILD_DIR=${BUILD_DIR:-~/usr/git/wayland} +FORCE_AUTOGEN=0 +for arg in $@; do if [ "$arg"="-f" ]; then FORCE_AUTOGEN=1; fi; done [ ! -d "$WLD/share/aclocal" ] && sudo mkdir -p "$WLD/share/aclocal" @@ -35,8 +37,12 @@ function update () { SHA_PREV=$(git log --pretty="format:%H" HEAD~1..) say " * pull" && git pull || return 1 SHA_HEAD=$(git log --pretty="format:%H" HEAD~1..) - [ "$SHA_PREV" = "$SHA_HEAD" ] && return 0 - build + if [ $FORCE_AUTOGEN -eq 1 ]; then + autogen + else + [ "$SHA_PREV" = "$SHA_HEAD" ] && return 0 + build + fi } function do_your_job () { |