git.annexia.org / goals.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00dfdab) | patch
cmdline: Don't convert Goalfile, includes to absolute paths.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 7 Jan 2020 18:24:19 +0000 (18:24 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 7 Jan 2020 18:24:19 +0000 (18:24 +0000)
commitaadcfa31f19559b2a8a355736e3dfc4795e0a2d9
tree4918f1ba0b4db26230c853bbfc2bafa22e0940fatree | snapshot
parent00dfdab0481c531b8608a157dc4c4991f319d7f7commit | diff
cmdline: Don't convert Goalfile, includes to absolute paths.

We actually want these to be relative to the -C directory,
same as make.
src/cmdline.ml diff | blob | history
src/cmdline.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.