diff options
| author | Jeremy Katz <katzj@redhat.com> | 2003-01-15 03:38:01 +0000 |
|---|---|---|
| committer | Jeremy Katz <katzj@redhat.com> | 2003-01-15 03:38:01 +0000 |
| commit | 3912813d22cda765b2834d0b265fea4d32f719ae (patch) | |
| tree | 9c58dd9c3d394f3ca0fa90e23bb9c1b73e05acd8 /scripts | |
| parent | ba6f6c9f2f1d38821fdca7e4b0526aad85b21c5b (diff) | |
don't kill us if our finding of a package doesn't work
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/mk-images | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/mk-images b/scripts/mk-images index 47e7672d8..e52424c5e 100755 --- a/scripts/mk-images +++ b/scripts/mk-images @@ -118,7 +118,6 @@ findPackage() { done echo "cannot find package $name in path $dir" >&2 - kill -9 $$ } findmodule () { |