diff options
| author | David M Peixotto <dmp@rice.edu> | 2011-05-29 13:07:45 -0500 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2011-06-27 10:08:53 +0100 |
| commit | 5a0b3770789058ea6a24da592944ed85b9a4aebd (patch) | |
| tree | 8cabca6f275d75f1558dc99dff0dad71a0ecd108 | |
| parent | 8023014ecf192381ffba4b60a3dd21630e5c1d18 (diff) | |
| download | haskell-5a0b3770789058ea6a24da592944ed85b9a4aebd.tar.gz | |
Fix strftime string in fingerprint script
There was an extra % in the strftime string used in the fingerprint
script to name the output files. It worked fine in python 2.6 on mac
os, but was producing bad file names in python 2.7 on linux.
| -rwxr-xr-x | utils/fingerprint/fingerprint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/fingerprint/fingerprint.py b/utils/fingerprint/fingerprint.py index f04b98ecd4..5a753279e6 100755 --- a/utils/fingerprint/fingerprint.py +++ b/utils/fingerprint/fingerprint.py @@ -159,7 +159,7 @@ def validate(opts, args, parser): if opts.dir: fname = opts.output if fname is None: - fname = datetime.today().strftime("%Y-%m%-%d_%H-%M-%S") + ".fp" + fname = datetime.today().strftime("%Y-%m-%d_%H-%M-%S") + ".fp" path = os.path.join(opts.dir, fname) opts.output_file = path opts.output = file(path, "w") |