diff options
| author | Chris Wilson <chris+github@qwirx.com> | 2007-10-08 23:25:36 +0000 |
|---|---|---|
| committer | Chris Wilson <chris+github@qwirx.com> | 2007-10-08 23:25:36 +0000 |
| commit | 6dfb462e66c5086619f86aa0307e396bd7e0410c (patch) | |
| tree | 0361fe448058d6bf3e2c01fbf0eb69b3d32639d5 | |
| parent | 5d52e991161c518c4596e0b616e6faca44dcb0ff (diff) | |
Die if infrastructure/makebuildenv.pl or infrastructure/makeparcels.pl fails
during configure.
| -rw-r--r-- | configure.ac | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index cab2ee97..1c81b19b 100644 --- a/configure.ac +++ b/configure.ac @@ -281,8 +281,11 @@ AC_OUTPUT # Configure the Box build system echo -$PERL ./infrastructure/makebuildenv.pl && - $PERL ./infrastructure/makeparcels.pl +if ! $PERL ./infrastructure/makebuildenv.pl \ +|| ! $PERL ./infrastructure/makeparcels.pl; then + echo "Making infrastructure failed!" + exit 1 +fi # Write summary of important info cat <<EOC |