diff options
Diffstat (limited to 'scripts/config')
-rwxr-xr-x | scripts/config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/config b/scripts/config index bb4d3deb6d1c..a65ecbbdd32a 100755 --- a/scripts/config +++ b/scripts/config | |||
@@ -105,7 +105,7 @@ while [ "$1" != "" ] ; do | |||
105 | ;; | 105 | ;; |
106 | --refresh) | 106 | --refresh) |
107 | ;; | 107 | ;; |
108 | --*-after) | 108 | --*-after|-E|-D|-M) |
109 | checkarg "$1" | 109 | checkarg "$1" |
110 | A=$ARG | 110 | A=$ARG |
111 | checkarg "$2" | 111 | checkarg "$2" |