# HG changeset patch # User Pascal Bellard # Date 1238432943 0 # Node ID 2951f526648ec758ef73bd6dfc937ff2674412ab # Parent 7a3ed9be8ba660b62d40d7df6b9e25f110f85e70 mirror-tools/mkpkgiso: allow multiple options diff -r 7a3ed9be8ba6 -r 2951f526648e mirror-tools/stuff/usr/bin/mkpkgiso --- a/mirror-tools/stuff/usr/bin/mkpkgiso Mon Mar 30 17:02:26 2009 +0000 +++ b/mirror-tools/stuff/usr/bin/mkpkgiso Mon Mar 30 17:09:03 2009 +0000 @@ -128,12 +128,13 @@ echo "$(du -hs $TEMP_DIR/$1 | awk '{ print $1 }') used by $2." } -case " $OPTIONS " in -*\ --wok\ *) +for i in $OPTIONS ; do +case "$i" in +--wok) get_from_hg wok "wok (cooking)";; -*\ --wok-stable\ *) +--wok-stable) get_from_hg wok-stable "wok (stable)";; -*\ --website\ *) +--website) if get_from_hg website "web site"; then cat >>$TEMP_DIR/install.sh<