diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2016-02-16 15:07:31 +0100 | 
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2016-02-16 15:07:31 +0100 | 
| commit | c9c6e63472701017041e66d3eeb2d750b1aafb32 (patch) | |
| tree | b897317597808e0b2864b333f84a6937ad9a0c35 /src/goto.cpp | |
| parent | 7ee385ba23522ea262e43854126e8f9de26bf7c8 (diff) | |
distribution helper script: let it be preprocessed/substituted by Autoconf
 * makes sense since it already extracted information from ./configure
   that is usually substituted.
 * it already had to be run from a configured build directory
 * it required the source tree directory, which had to be overwritten
   on the Make command line when using an out-of-source build dir.
   This is no longer necessary.
 * It is still a stand-alone Makefile to keep it isolated from the main
   build system, although it could certainly be translated to Automake.
 * the generated file will now be called distribute.mk to signify
   that it is a Makefile.
Diffstat (limited to 'src/goto.cpp')
0 files changed, 0 insertions, 0 deletions
