diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-04-21 10:54:46 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-04-21 10:54:46 +0000 |
commit | f79e9c2d22345eeb0c721a8cf5375101d33dc4c9 (patch) | |
tree | b969e1ebfcde35c9889cacf98bde162f9124356c /scripts/nix-push.in | |
parent | 8e459d919dbce7c6d45d90ef9a9385133cfae15e (diff) |
* Do initialise state (the DB etc.) when doing a `make install',
unless `--disable-init-state' is passed to configure.
Diffstat (limited to 'scripts/nix-push.in')
0 files changed, 0 insertions, 0 deletions