diff options
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/debian | 5 | ||||
| -rw-r--r-- | configs/debian-alpha | 5 | ||||
| -rw-r--r-- | configs/debian-amd64 | 5 | ||||
| -rw-r--r-- | configs/debian-common | 6 | ||||
| -rw-r--r-- | configs/debian-dri | 5 | ||||
| -rw-r--r-- | configs/debian-dri-common | 8 | ||||
| -rw-r--r-- | configs/debian-dri-i386 | 5 | ||||
| -rw-r--r-- | configs/debian-i386 | 5 | ||||
| -rw-r--r-- | configs/debian-powerpc | 5 | ||||
| -rw-r--r-- | configs/debian-ppc64 | 4 | ||||
| -rw-r--r-- | configs/debian-sparc | 5 |
11 files changed, 58 insertions, 0 deletions
diff --git a/configs/debian b/configs/debian new file mode 100644 index 00000000000..5b3b349a416 --- /dev/null +++ b/configs/debian @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-common +include $(TOP)/configs/linux + +CONFIG_NAME = debian + diff --git a/configs/debian-alpha b/configs/debian-alpha new file mode 100644 index 00000000000..7f482a08469 --- /dev/null +++ b/configs/debian-alpha @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-common +include $(TOP)/configs/linux-alpha + +CONFIG_NAME = debian-alpha + diff --git a/configs/debian-amd64 b/configs/debian-amd64 new file mode 100644 index 00000000000..f2e34167177 --- /dev/null +++ b/configs/debian-amd64 @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-common +include $(TOP)/configs/linux-x86-64 + +CONFIG_NAME = debian-amd64 + diff --git a/configs/debian-common b/configs/debian-common new file mode 100644 index 00000000000..b059b328b7a --- /dev/null +++ b/configs/debian-common @@ -0,0 +1,6 @@ +include $(TOP)/configs/default + +CONFIG_NAME = debian-common + +override OPT_FLAGS = -O2 -g + diff --git a/configs/debian-dri b/configs/debian-dri new file mode 100644 index 00000000000..db8c74e68bb --- /dev/null +++ b/configs/debian-dri @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-dri-common +include $(TOP)/configs/linux-dri + +CONFIG_NAME = debian-dri + diff --git a/configs/debian-dri-common b/configs/debian-dri-common new file mode 100644 index 00000000000..4069e2c4070 --- /dev/null +++ b/configs/debian-dri-common @@ -0,0 +1,8 @@ +include $(TOP)/configs/debian-common + +CONFIG_NAME = debian-dri-common + +DRI_DRIVER_INSTALL_DIR = $(INSTALL_DIR)/lib/dri +DRI_DRIVER_SEARCH_DIR = /usr/lib/dri + + diff --git a/configs/debian-dri-i386 b/configs/debian-dri-i386 new file mode 100644 index 00000000000..8156804ed55 --- /dev/null +++ b/configs/debian-dri-i386 @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-dri-common +include $(TOP)/configs/linux-dri-x86 + +CONFIG_NAME = debian-dri-i386 + diff --git a/configs/debian-i386 b/configs/debian-i386 new file mode 100644 index 00000000000..1cec231b183 --- /dev/null +++ b/configs/debian-i386 @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-common +include $(TOP)/configs/linux-x86 + +CONFIG_NAME = debian-i386 + diff --git a/configs/debian-powerpc b/configs/debian-powerpc new file mode 100644 index 00000000000..0771dd6dd40 --- /dev/null +++ b/configs/debian-powerpc @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-common +include $(TOP)/configs/linux-ppc + +CONFIG_NAME = debian-powerpc + diff --git a/configs/debian-ppc64 b/configs/debian-ppc64 new file mode 100644 index 00000000000..e4c63c8ba86 --- /dev/null +++ b/configs/debian-ppc64 @@ -0,0 +1,4 @@ +include $(TOP)/configs/debian-ppc + +CONFIG_NAME = debian-ppc64 + diff --git a/configs/debian-sparc b/configs/debian-sparc new file mode 100644 index 00000000000..6c97c87ba14 --- /dev/null +++ b/configs/debian-sparc @@ -0,0 +1,5 @@ +include $(TOP)/configs/debian-common +include $(TOP)/configs/linux-sparc + +CONFIG_NAME = debian-sparc + |