The system may be using a stat(1) implementation that follows
BSD-style syntax. Try that as a fallback, but do fail for real
if that also fails.
if time_epoch == ''
NEWS = files('NEWS')
time_epoch = run_command(stat, '-c', '%Y', NEWS,
- check : true).stdout()
+ check : false)
+ if time_epoch.returncode() != 0
+ # If the above fails, maybe the stat(1) uses BSD-style syntax
+ time_epoch = run_command(stat, '-f', '%m', NEWS,
+ check : true)
+ endif
+ time_epoch = time_epoch.stdout()
endif
time_epoch = time_epoch.strip().to_int()
endif