diff options
author | Bruno Haible <bruno@clisp.org> | 2022-07-31 18:54:22 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-07-31 23:52:42 +0200 |
commit | 1639b8598d86b3d8c7fc3c7a0afaed93c67cbb93 (patch) | |
tree | 9939027c5d19c712774f61ccc63fd8e3933d8158 /gnulib-tool.py | |
parent | 21be7075b383fa344cc88370538d1234664e16d5 (diff) | |
download | gnulib-1639b8598d86b3d8c7fc3c7a0afaed93c67cbb93.tar.gz |
gnulib-tool.py: Make --test behaviour more similar to gnulib-tool.
* gnulib-tool.py (main) [test]: Remove space from the testdir name.
Diffstat (limited to 'gnulib-tool.py')
-rwxr-xr-x | gnulib-tool.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnulib-tool.py b/gnulib-tool.py index 166a4ae56d..a646ae2d38 100755 --- a/gnulib-tool.py +++ b/gnulib-tool.py @@ -702,7 +702,7 @@ def main(): elif mode == 'test': if not destdir: - destdir = 'testdir %04d' % random.randrange(0, 9999) + destdir = 'testdir%04d' % random.randrange(0, 9999) if not auxdir: auxdir = 'build-aux' config.setAuxDir(auxdir) |