diff options
| -rw-r--r-- | src/OS/Makefile-Base | 2 | ||||
| -rw-r--r-- | src/OS/Makefile-GNU (renamed from src/OS/unsupported/Makefile-GNU) | 0 | ||||
| -rw-r--r-- | src/OS/os.c-GNU (renamed from src/OS/unsupported/os.c-GNU) | 0 | ||||
| -rw-r--r-- | src/OS/os.h-GNU (renamed from src/OS/unsupported/os.h-GNU) | 0 |
4 files changed, 2 insertions, 0 deletions
diff --git a/src/OS/Makefile-Base b/src/OS/Makefile-Base index f8c6ebb53..9ecde1d3e 100644 --- a/src/OS/Makefile-Base +++ b/src/OS/Makefile-Base @@ -97,6 +97,7 @@ Makefile: ../OS/Makefile-Base ../OS/Makefile-Default \ os.h: $(SCRIPTS)/Configure-os.h \ $(O)/os.h-FreeBSD \ + $(O)/os.h-GNU \ $(O)/os.h-Linux \ $(O)/os.h-OpenBSD \ $(O)/os.h-SunOS5 @@ -113,6 +114,7 @@ os.h: $(SCRIPTS)/Configure-os.h \ os.c: ../src/os.c \ $(SCRIPTS)/Configure-os.c \ + $(O)/os.c-GNU \ $(O)/os.c-Linux $(SHELL) $(SCRIPTS)/Configure-os.c diff --git a/src/OS/unsupported/Makefile-GNU b/src/OS/Makefile-GNU index e46434187..e46434187 100644 --- a/src/OS/unsupported/Makefile-GNU +++ b/src/OS/Makefile-GNU diff --git a/src/OS/unsupported/os.c-GNU b/src/OS/os.c-GNU index e5d6ff66c..e5d6ff66c 100644 --- a/src/OS/unsupported/os.c-GNU +++ b/src/OS/os.c-GNU diff --git a/src/OS/unsupported/os.h-GNU b/src/OS/os.h-GNU index 44993163d..44993163d 100644 --- a/src/OS/unsupported/os.h-GNU +++ b/src/OS/os.h-GNU |