diff options
| author | Thierry Reding <[email protected]> | 2006-10-14 16:32:25 +0000 |
|---|---|---|
| committer | Thierry Reding <[email protected]> | 2006-10-14 16:32:25 +0000 |
| commit | 01e6b84b14081365d4341a9db0978871cc669325 (patch) | |
| tree | 8518ef618cdadc6a75fe8fe57fd7f46cf065b293 | |
| parent | 69705d22be38eba13901a08bd3a1305c27ca6e07 (diff) | |
Fix some small inconsistencies involving configuration names.
| -rw-r--r-- | configs/debian | 2 | ||||
| -rw-r--r-- | configs/debian-any | 2 | ||||
| -rw-r--r-- | configs/debian-dri | 2 |
3 files changed, 5 insertions, 1 deletions
diff --git a/configs/debian b/configs/debian index f50a2c56168..d6b972795e0 100644 --- a/configs/debian +++ b/configs/debian @@ -6,5 +6,7 @@ else include $(TOP)/configs/debian-any endif +CONFIG_NAME = debian + # vim: ft=make diff --git a/configs/debian-any b/configs/debian-any index 24d2510ef11..d9c11575559 100644 --- a/configs/debian-any +++ b/configs/debian-any @@ -4,7 +4,7 @@ include $(TOP)/configs/debian-default include $(TOP)/configs/linux -CONFIG_NAME = debian +CONFIG_NAME = debian-any # vim: ft=make diff --git a/configs/debian-dri b/configs/debian-dri index 339c537b31c..a26595f1ca6 100644 --- a/configs/debian-dri +++ b/configs/debian-dri @@ -7,5 +7,7 @@ else include $(TOP)/configs/debian-dri-any endif +CONFIG_NAME = debian-dri + # vim: ft=make |