diff options
author | Jan Schmidt <thaytan@mad.scientist.com> | 2005-06-30 11:56:37 +0000 |
---|---|---|
committer | Jan Schmidt <thaytan@mad.scientist.com> | 2005-06-30 11:56:37 +0000 |
commit | 4ca96aedcf2be0b3dcf31fce732aed1da21b8850 (patch) | |
tree | f3d5fbcb14da139c567d85845b67199460eba62f /gst-autogen.sh | |
parent | 2826306411790bf8aa9298922aa59b126897431f (diff) | |
download | gstreamer-common-4ca96aedcf2be0b3dcf31fce732aed1da21b8850.tar.gz |
gst-autogen.sh: Remove the old autoregen.sh if it exists before recreating it, to prevent confusing any shell process...
Original commit message from CVS:
2005-06-30 Jan Schmidt <thaytan@mad.scientist.com>
* gst-autogen.sh:
Remove the old autoregen.sh if it exists before recreating it,
to prevent confusing any shell process that might be reading it
currently.
Diffstat (limited to 'gst-autogen.sh')
-rw-r--r-- | gst-autogen.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gst-autogen.sh b/gst-autogen.sh index 97b2c20..f13abf4 100644 --- a/gst-autogen.sh +++ b/gst-autogen.sh @@ -1,4 +1,10 @@ # a silly hack that generates autoregen.sh but it's handy +# Remove the old autoregen.sh first to create a new file, +# as the current one may be being read by the shell executing +# this script. +if [ -f "autoregen.sh" ]; then + rm autoregen.sh +fi echo "#!/bin/sh" > autoregen.sh echo "./autogen.sh $@ \$@" >> autoregen.sh chmod +x autoregen.sh |