diff options
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.def b/Makefile.def index 08d0dc0..bd7b080 100644 --- a/Makefile.def +++ b/Makefile.def @@ -623,8 +623,7 @@ bootstrap_stage = { bootstrap_stage = { id=profile ; prev=1 ; }; bootstrap_stage = { - id=train; prev=profile ; - bootstrap_target=profiledbootstrap ; }; + id=train; prev=profile ; } ; bootstrap_stage = { id=feedback ; prev=train; bootstrap_target=profiledbootstrap ; }; |