Changeset 3a83821 for scripts/get_waf.sh

Timestamp:

Jul 1, 2020, 8:08:51 PM (5 years ago)

Author:

Paul Brossier <piem@piem.org>

Branches:

feature/cnn, feature/crepe, fix/ffmpeg5, master

Children:

4c9aa80

Parents:

08d07ce (diff), eadb7f6 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into feature/timestretch

File:

• scripts/get_waf.sh (modified) (1 diff)

scripts/get_waf.sh

@@ -49 +49 @@
 popd
 
-cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD
+cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf "$PWD"
 chmod +x waf