File indexing completed on 2024-05-19 16:38:22
0001 #!/bin/bash 0002 0003 # The script finds build directories for the current 0004 # src directory and builds them 0005 # 0006 # For example, for the source dir: 0007 # /some/path/kde/src/project/whatever 0008 # It finds: 0009 # /some/path/kde/build*/project/whatever 0010 0011 current_dir=`pwd` 0012 0013 all_root_dir=`pwd | sed 's#/src/.*##'` 0014 src_root_dir=$all_root_dir/src 0015 0016 echo "src: $src_root_dir" 0017 0018 for build_root_dir in $all_root_dir/build*; do 0019 echo "building in $build_root_dir" 0020 0021 cd $current_dir 0022 current_dir_log=`OBJ_REPLACEMENT=s#$src_root_dir#$build_root_dir# makeobj` 0023 if [ "$?" = "0" ] 0024 then 0025 echo "... success" 0026 else 0027 echo "... FAILED" 0028 echo $current_dir_log 0029 exit 0030 fi 0031 0032 done 0033 0034 git commit 0035