fail if calling $SCRIPTSDIR/cgal_create_makefile fails (e.g., a wrong

directory was specified)
This commit is contained in:
Joachim Reichel
2006-03-16 20:51:11 +00:00
parent 1a4a2354e9
commit 1542374e2b
@@ -832,7 +832,10 @@ sub make_testscripts()
close OPTIONS;
}
}
system("$SCRIPTSDIR/cgal_create_makefile", $options);
$result = system("$SCRIPTSDIR/cgal_create_makefile", $options);
if ($result) {
die;
}
}
if ( ! -f 'cgal_test' ) {
create_test();
@@ -878,7 +881,10 @@ sub make_testscripts()
close OPTIONS;
}
}
system("$SCRIPTSDIR/cgal_create_makefile", $options);
$result = system("$SCRIPTSDIR/cgal_create_makefile", $options);
if ($result) {
die;
}
}
chdir '..';
}