diff --git a/[refs] b/[refs] index f52a9f4fc7c4..70095a898173 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 4f628248a578585472e19e4cba2c604643af8c6c +refs/heads/master: 8e54701ea85b0ab0971637825a628f5aa2b678a4 diff --git a/trunk/scripts/config b/trunk/scripts/config new file mode 100755 index 000000000000..68b9761cdc38 --- /dev/null +++ b/trunk/scripts/config @@ -0,0 +1,150 @@ +#!/bin/bash +# Manipulate options in a .config file from the command line + +usage() { + cat >&2 <