diff options
Diffstat (limited to 'validate')
-rwxr-xr-x | validate | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -193,11 +193,6 @@ if [ $be_quiet -eq 1 ]; then echo "V=0" >> mk/are-validating.mk # Less gunk fi -if [ $speed != "FAST" ]; then - # Build the "extra" packages (see ./packages), to enable more tests. - echo "BUILD_EXTRA_PKGS=YES" >> mk/are-validating.mk -fi - if [ $use_dph -eq 1 ]; then echo "BUILD_DPH=YES" >> mk/are-validating.mk else |