diff options
author | Michael I. Bushnell <mib@gnu.org> | 1991-01-23 18:15:43 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1991-01-23 18:15:43 +0000 |
commit | 6e9fd75ac15c3c83756a1d94300331d3e29de8e6 (patch) | |
tree | 6c48d183e56871f1b915b0696a1d200ec69b8d0a | |
parent | f3c73b628ec74bbf398b16e95ac27f759ee5b0bc (diff) |
Formerly Makefile.~3~
-rw-r--r-- | hurd/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/hurd/Makefile b/hurd/Makefile index 53b411de..4864d4ab 100644 --- a/hurd/Makefile +++ b/hurd/Makefile @@ -1,3 +1,4 @@ test: - mig fs.defs - mig io.defs + mig -I../ fs.defs + mig -I../ io.defs + mig -I../ fsys.defs |