 Markus Heiser
|
3bd2f3dc81
[fix] manage - fix miss usage of 'set -e'
|
4 years ago |
|
Markus Heiser
|
a92a4cb443
[pylint] get PYLINT_FILES from tag '# lint: pylint'
|
4 years ago |
|
Markus Heiser
|
8efabd3ab7
[mod] core.ac.uk engine
|
4 years ago |
|
Alexandre Flament
|
4863c1933e
Rerevert c54bf42
|
4 years ago |
|
Markus Heiser
|
c69fc20be2
[fix] ./manage pyenv.install - die when pyenv build fails
|
4 years ago |
|
Markus Heiser
|
d0e371f474
[mod] replace makefile boilerplate by 'manage' script
|
4 years ago |
|
Markus Heiser
|
720d0d48ad
[enh] implement all build task in a bash script (manage)
|
4 years ago |
