File indexing completed on 2022-09-20 12:34:19

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