diff options
Diffstat (limited to 'xts5')
| -rw-r--r-- | xts5/Makefile.am | 2 | ||||
| -rw-r--r-- | xts5/bin/xts-run.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/xts5/Makefile.am b/xts5/Makefile.am index 68b6be33..5249940c 100644 --- a/xts5/Makefile.am +++ b/xts5/Makefile.am @@ -38,7 +38,7 @@ XTS_CONFIG = TET_ROOT='$(top_srcdir)' XSET='$(XSET)' XDPYINFO='$(XDPYINFO)' \ tetexec.cfg: tetexec.cfg.in $(srcdir)/bin/xts-config $(AM_V_GEN)$(XTS_CONFIG) < $< > $@.tmp && mv -f $@.tmp $@ || rm -f $@.tmp check-local: tetexec.cfg - @outdir="$(top_builddir)/xts-`date +%F-%R`"; \ + @outdir="$(top_builddir)/results/`date +%F-%T`"; \ echo $(run_tcc) -i "$$outdir" xts5 $(scenario); \ $(run_tcc) -i "$$outdir" xts5 $(scenario); \ ret=$$?; \ diff --git a/xts5/bin/xts-run.in b/xts5/bin/xts-run.in index 94fd83c2..e00438b7 100644 --- a/xts5/bin/xts-run.in +++ b/xts5/bin/xts-run.in @@ -77,7 +77,7 @@ else fi # Create the output directory -[ -n "$outdir" ] || outdir="xts-`date +%F-%R`" +[ -n "$outdir" ] || outdir="xts-results/`date +%F-%T`" if [ ! -d "$outdir" ] && ! mkdir -p "$outdir"; then echo "error: failed to create output directory $outdir" >&2 exit 1 |