diff --git a/test/bin/checkflags b/test/bin/checkflags new file mode 100755 index 000000000..a246a82c3 --- /dev/null +++ b/test/bin/checkflags @@ -0,0 +1,23 @@ +#!/bin/sh +# Author: Christian Couder +# MIT LICENSED + +if test "$#" -lt 3 +then + echo >&2 "usage $0 FILE VALUES MSG..." + exit 1 +fi + +FLAG_FILE="$1" +FLAG_VALS="$2" +shift +shift +FLAG_MSGS="$@" + +# Use x in front of tested values as flags could be +# interpreted by "test" to be for itself. +if test x"$FLAG_VALS" != x"$(cat "$FLAG_FILE" 2>/dev/null)" +then + echo "$FLAG_MSGS" + echo "$FLAG_VALS" >"$FLAG_FILE" +fi