diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 15:51:38 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-01 15:51:38 +0100 |
commit | 1fa504381cfc71f9e7ab3c83b43d13b47fe406d0 (patch) | |
tree | 7c771a7ab5d3cf3998ef53bbf7fe5f8931858110 | |
parent | 7d788d21c13289ce7a1203382f6893723b83d051 (diff) |
abort if svn fails
-rw-r--r-- | src/profiles/profile-dieter | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/profiles/profile-dieter b/src/profiles/profile-dieter index ae90b7b..ce19329 100644 --- a/src/profiles/profile-dieter +++ b/src/profiles/profile-dieter @@ -32,7 +32,7 @@ worker_prepare_disks () worker_package_list () { - $SVN export $SVN_BASE/ddm-configs/$TARGET_HOST/package-list /home/arch/fifa/package-list + $SVN export $SVN_BASE/ddm-configs/$TARGET_HOST/package-list /home/arch/fifa/package-list || die_error "Could not export package list!" } |