run.sh (294B)
1 #! /bin/bash 2 3 # make a copy of a waf directory with the same name 4 # 5 # the tool 'relocation' (waflib/extras) adds some information 6 # so that a full rebuild is not performed when the dir changes 7 8 rm -rf tmp 9 mkdir tmp 10 11 pushd c 12 waf configure build 13 popd 14 cp -R c tmp/c 15 16 cd tmp/c 17 waf configure build 18