diff options
| -rwxr-xr-x | MakeRelease.job | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/MakeRelease.job b/MakeRelease.job index 89e7985a..e8c58db8 100755 --- a/MakeRelease.job +++ b/MakeRelease.job @@ -63,7 +63,7 @@ fi update="" if test x"${extra}" != x; then - extra="--extraconfig ${extra}" + extra="--extraconfigdir ${extra}" fi if test x"${runtests}" = xtrue; then |