diff --git a/commit_protos.bash b/commit_protos.bash index 5e122a1..b7f9d33 100755 --- a/commit_protos.bash +++ b/commit_protos.bash @@ -38,8 +38,8 @@ for pd in $package_dirs; do license_file=$(dirname $pd)/LICENSE fi if ! [ -f $license_file ] ; then - echo NO license file at $license_file either, continuing - continue + echo NO license file at $license_file either aborting + exit -2 fi package=$(basename $pd) result_dir=results/${ROS_DISTRO}/${package}/