Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FFmpeg/FFmpeg.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Niedermayer <michaelni@gmx.at>2013-03-05 15:17:10 +0400
committerMichael Niedermayer <michaelni@gmx.at>2013-03-05 15:17:15 +0400
commit890b9c5c466cd4026a5b0388f5ac1e89ce1c69dc (patch)
tree74944f7aaec04f4f610e6af85ed4d272b95f5645 /configure
parent06ad309ab4b7089442968fa8ac49b8db5e2fce0a (diff)
parentf868b24d0f280bb966e5c352028a343e45d20a02 (diff)
Merge commit 'f868b24d0f280bb966e5c352028a343e45d20a02'
* commit 'f868b24d0f280bb966e5c352028a343e45d20a02': configure: Add sanitize_var_name convenience function Merged-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 6 insertions, 2 deletions
diff --git a/configure b/configure
index 1c58571b4a..83b236c034 100755
--- a/configure
+++ b/configure
@@ -456,14 +456,18 @@ set_weak(){
done
}
+sanitize_var_name(){
+ echo $@ | sed 's/[^A-Za-z0-9_]/_/g'
+}
+
set_safe(){
var=$1
shift
- eval $(echo "$var" | sed 's/[^A-Za-z0-9_]/_/g')='$*'
+ eval $(sanitize_var_name "$var")='$*'
}
get_safe(){
- eval echo \$$(echo "$1" | sed 's/[^A-Za-z0-9_]/_/g')
+ eval echo \$$(sanitize_var_name "$1")
}
pushvar(){