 Leo
|
6e9046665c
Add job with system compiler
|
8 gadi atpakaļ |
|
Leo
|
bfc6a25bd6
Correct .gitlab-ci.yml mistakes
|
8 gadi atpakaļ |
|
Leo
|
3d061ed1eb
Starting to use Gitlab CI
|
8 gadi atpakaļ |
|
Leo
|
ac8350966d
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
8 gadi atpakaļ |
|
Leo
|
9af3944dc1
Merge branch 'dev' of ../oclaunch-code/. into dev
|
8 gadi atpakaļ |
|
Leo
|
ffe930c4bf
Clean-up licensing code (language question)
|
8 gadi atpakaļ |
|
Leo
|
1d34313526
Update licencing file
|
8 gadi atpakaļ |
|
Leo
|
cdc51c550a
Clean-up code of the question message
|
8 gadi atpakaļ |
|
Leo
|
dff2e408d3
Display debugging information before every messages
|
8 gadi atpakaļ |
|
Leo
|
5ed541fee1
Remove flag in _oasis configuration
|
8 gadi atpakaļ |
|
Leo
|
f8f1c801ae
Tidy up exit codes in fix-indent script
|
8 gadi atpakaļ |
|
Leo
|
0ed5b11685
Code clean-up
|
8 gadi atpakaļ |
|
Leo
|
3aad828057
State we need a recent enough version of Core
|
8 gadi atpakaļ |
|
Leo
|
508e38116f
Add copyright notice for Core_kernel copied files
|
8 gadi atpakaļ |
|
Leo
|
cebb133cf9
Fix typo
|
9 gadi atpakaļ |
|
Leo
|
baae2c92c2
Fix parallel issue in 0install.sh script
|
9 gadi atpakaļ |
|
Leo
|
f77177e154
Fix typo in .gitignore
|
9 gadi atpakaļ |
|
Leo
|
8affb581d0
Update CHANGELOG
|
9 gadi atpakaļ |
|
Leo
|
d35e1b28e7
Update CHANGELOG
|
9 gadi atpakaļ |
|
Leo
|
6ece1db8b1
Fix behavior of test script, using env variable
|
9 gadi atpakaļ |
|
Leo
|
3cc1374d4a
Make env variable OC_NOCOLOR working
|
9 gadi atpakaļ |
|
Leo
|
bd807a4dc6
Correct typo
|
9 gadi atpakaļ |
|
Leo
|
2264d38316
Set color on by default
|
9 gadi atpakaļ |
|
Leo
|
4b57a5b756
Improve indentation using fix-indent.ml script
|
9 gadi atpakaļ |
|
Leo
|
689588fc13
Allow to set some command line parameters with environment variable
|
9 gadi atpakaļ |
|
Leo
|
d49901c7ba
Further use laziness in constants
|
9 gadi atpakaļ |
|
Leo
|
ad2ee0e55a
Update environment test to new command line interface
|
9 gadi atpakaļ |
|
Leo
|
21dc49b774
Display nothing in white, normal style
|
9 gadi atpakaļ |
|
Leo
|
6b1adfb8eb
Add message on reset
|
9 gadi atpakaļ |
|
Leo
|
060a5a978f
Typo in help message
|
9 gadi atpakaļ |
