Remove the AH[CD]_REG_PRETTY_PRINT options from the boot floppies.

Discussed with:	gibbs
This commit is contained in:
Murray Stokely 2002-09-02 02:57:25 +00:00
parent 8cf034521b
commit 3e7c03093a
3 changed files with 12 additions and 0 deletions

View File

@ -34,6 +34,8 @@ sed -e '/ pty /d' \
-e '/INVARIANTS/d' \
-e '/INVARIANT_SUPPORT/d' \
-e '/WITNESS/d' \
-e '/AHC_REG_PRETTY_PRINT/d' \
-e '/AHD_REG_PRETTY_PRINT/d' \
-e '/ pci$/d' \
-e '/ adv /d' \
-e '/ ahc /d' \
@ -96,6 +98,8 @@ sed -e '/ pty /d' \
-e '/INVARIANTS/d' \
-e '/INVARIANT_SUPPORT/d' \
-e '/WITNESS/d' \
-e '/AHC_REG_PRETTY_PRINT/d' \
-e '/AHD_REG_PRETTY_PRINT/d' \
-e '/ ncr /d' \
-e '/ pcm/d' \
-e '/ agp /d' \

View File

@ -34,6 +34,8 @@ sed -e '/ pty /d' \
-e '/INVARIANTS/d' \
-e '/INVARIANT_SUPPORT/d' \
-e '/WITNESS/d' \
-e '/AHC_REG_PRETTY_PRINT/d' \
-e '/AHD_REG_PRETTY_PRINT/d' \
-e '/ pci$/d' \
-e '/ adv /d' \
-e '/ ahc /d' \
@ -96,6 +98,8 @@ sed -e '/ pty /d' \
-e '/INVARIANTS/d' \
-e '/INVARIANT_SUPPORT/d' \
-e '/WITNESS/d' \
-e '/AHC_REG_PRETTY_PRINT/d' \
-e '/AHD_REG_PRETTY_PRINT/d' \
-e '/ ncr /d' \
-e '/ pcm/d' \
-e '/ agp /d' \

View File

@ -34,6 +34,8 @@ sed -e '/ pty /d' \
-e '/INVARIANTS/d' \
-e '/INVARIANT_SUPPORT/d' \
-e '/WITNESS/d' \
-e '/AHC_REG_PRETTY_PRINT/d' \
-e '/AHD_REG_PRETTY_PRINT/d' \
-e '/ pci$/d' \
-e '/ adv /d' \
-e '/ ahc /d' \
@ -96,6 +98,8 @@ sed -e '/ pty /d' \
-e '/INVARIANTS/d' \
-e '/INVARIANT_SUPPORT/d' \
-e '/WITNESS/d' \
-e '/AHC_REG_PRETTY_PRINT/d' \
-e '/AHD_REG_PRETTY_PRINT/d' \
-e '/ ncr /d' \
-e '/ pcm/d' \
-e '/ agp /d' \