diff options
Diffstat (limited to 'roms/openbios/arch/unix/plugins/plugin_pci/Makefile.old')
| -rw-r--r-- | roms/openbios/arch/unix/plugins/plugin_pci/Makefile.old | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/roms/openbios/arch/unix/plugins/plugin_pci/Makefile.old b/roms/openbios/arch/unix/plugins/plugin_pci/Makefile.old new file mode 100644 index 000000000..10d0555d9 --- /dev/null +++ b/roms/openbios/arch/unix/plugins/plugin_pci/Makefile.old @@ -0,0 +1,21 @@ +# tag: Makefile for OpenBIOS PCI plugin +# +# Copyright (C) 2003 Stefan Reinauer +# +# See the file "COPYING" for further information about +# the copyright and warranty status of this work. +# + +PLUGIN_SOURCES = plugin_pci.c +PLUGIN_NAME = plugin_pci.so + +INCLUDES := -I$(TOPDIR)/include -I$(BUILDDIR) -I.. +VPATH := $(VPATH):. + +all: $(PLUGIN_NAME) + +$(PLUGIN_NAME): $(PLUGIN_SOURCES) + $(CC) -shared -Wall -Os -fPIC $(INCLUDES) $< -o $(BUILDDIR)/$@ + +clean: + rm -f plugin_*.so |