diff options
| -rw-r--r-- | rules/hi-rule.mk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/rules/hi-rule.mk b/rules/hi-rule.mk index 04550b94ed..c30a0934d2 100644 --- a/rules/hi-rule.mk +++ b/rules/hi-rule.mk @@ -24,14 +24,12 @@ define hi-rule # $1 = way @if [ ! -f $$@ ] ; then \ echo Panic! $$< exists, but $$@ does not.; \ exit 1; \ - else exit 0 ; \ fi %.$$($1_way_)hi-boot : %.$$($1_way_)o-boot @if [ ! -f $$@ ] ; then \ echo Panic! $$< exists, but $$@ does not.; \ exit 1; \ - else exit 0 ; \ fi endef |