diff options
author | Manoel Vilela | 2016-10-01 23:03:40 -0300 |
---|---|---|
committer | Manoel Vilela | 2016-10-01 23:03:40 -0300 |
commit | 7ecb84cb071a923027fe09d82e345a0a5b3a6e5d (patch) | |
tree | 0aafbfc8906ac725404c8ffb9c93eed0bf078fbb /.gitignore | |
parent | 0cdeef3aaeb01c4ebb93eae9f54bd47931cec46f (diff) | |
download | aur-7ecb84cb071a923027fe09d82e345a0a5b3a6e5d.tar.gz |
Keep the installation more idiomatically
Use `install` script instead `cp`. We has a problem yet about the
/usr/local/include/brain/io lib because we got a GIANT side effect
during the make build process of brain source.
This maybe did be done because, in some way, seems more easily to
execute. But I think is a worse decision. Why just split the
process into two procedures? `make build` and `make install`.
Would be really more easy to handle this shit.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions