From 9a219375c116b1e796a0085943f096fb4a3d0873 Mon Sep 17 00:00:00 2001 From: carl Date: Sat, 7 Sep 2002 21:22:31 +0000 Subject: [PATCH] - removed os_types --- rtl/inc/makefile.inc | 1 - 1 file changed, 1 deletion(-) diff --git a/rtl/inc/makefile.inc b/rtl/inc/makefile.inc index 0e6c80b7fb..76cbd5391a 100644 --- a/rtl/inc/makefile.inc +++ b/rtl/inc/makefile.inc @@ -12,7 +12,6 @@ SYSINCNAMES=$(addsuffix .inc,$(SYSNAMES)) # Other unit names which can be used for all systems # -UNITNAMES=os_types #UNITNAMES=getops #UNITPPNAMES=$(addsuffix .pp,$(UNITNAMES))