diff options
Diffstat (limited to 'usr/src')
| -rw-r--r-- | usr/src/cmd/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/usr/src/cmd/Makefile b/usr/src/cmd/Makefile index 52e9c379d6..aaffee4136 100644 --- a/usr/src/cmd/Makefile +++ b/usr/src/cmd/Makefile @@ -186,7 +186,6 @@ COMMON_SUBDIRS= \ groups \ grpck \ gss \ - hal \ halt \ head \ hostid \ |