diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-10 16:19:43 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | d5614f1c7f0380266abf6fd185b13d654657731d (patch) | |
| tree | f73702f3c2e823a6a785f1465a06d221ef14d07b /src/options/mkoptions.py | |
| parent | 424923f1317f3182574ebe730ebe0c81b7dbf494 (diff) | |
cmake: Working build infrastructure.
TODO: cvc4autoconfig.h
Diffstat (limited to 'src/options/mkoptions.py')
| -rwxr-xr-x | src/options/mkoptions.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py index f3a045e02..8f801466c 100755 --- a/src/options/mkoptions.py +++ b/src/options/mkoptions.py @@ -303,10 +303,8 @@ def write_file(directory, name, content): if os.path.isfile(fname): with open(fname, 'r') as file: if content == file.read(): - print('{} is up-to-date'.format(name)) return with open(fname, 'w') as file: - print('generated {}'.format(name)) file.write(content) except IOError: die("Could not write '{}'".format(fname)) |