diff options
Diffstat (limited to 'scripts/makestamp.py')
| -rwxr-xr-x | scripts/makestamp.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/makestamp.py b/scripts/makestamp.py index 5edb86ba0..43ad12798 100755 --- a/scripts/makestamp.py +++ b/scripts/makestamp.py @@ -57,7 +57,7 @@ for (str, arg) in args: usage() if data["timestamp"] is None: - print("timestamp not specified; using the current time", file=sys.stderr) + sys.stderr.write("timestamp not specified; using the current time") data["timestamp"] = time.time() else: data["timestamp"] = float(data["timestamp"]) @@ -71,7 +71,7 @@ if data["arch"] is None: data["arch"] = sys.stdin.readline()[:-1] if data["discNum"] is None and allDiscs is None: - print("No disc number specified; assuming disc 1", file=sys.stderr) + sys.stderr.write("No disc number specified; assuming disc 1") data["discNum"] = "1" if data["outfile"] is None: |