diff options
-rwxr-xr-x | abe.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -974,6 +974,7 @@ fi if test ! -z ${do_build}; then if test x"${do_build}" != x"all"; then + buildingall=no gitinfo="`get_source ${do_build}`" if test x"${gitinfo}" = x; then error "Couldn't find the source for ${do_build}" |