Ștefan Talpalaru
|
4c29a519e5
|
build_rocksdb.sh
|
2019-06-16 23:22:58 +02:00 |
Ștefan Talpalaru
|
26b724520d
|
build_nim.sh: the macOS "stat" is, of course, different
|
2019-06-13 00:09:58 +02:00 |
Ștefan Talpalaru
|
6309c1a348
|
build_nim.sh: better Windows detection
|
2019-06-12 21:10:35 +02:00 |
Ștefan Talpalaru
|
452419318c
|
build_nim.sh: Nim cloning now works with no cache dir present
|
2019-06-12 19:41:31 +02:00 |
Ștefan Talpalaru
|
b093d42b20
|
build_nim.sh: use pushd and popd
|
2019-06-12 19:06:15 +02:00 |
Ștefan Talpalaru
|
3965cf91f7
|
build_nim.sh: handle an empty CI cache dir
|
2019-06-12 18:41:04 +02:00 |
Ștefan Talpalaru
|
9d8aa105ef
|
build_nim.sh: refactoring and CI caching
|
2019-06-12 13:53:34 +02:00 |
Ștefan Talpalaru
|
688fbd2145
|
nim_needs_rebuilding.sh and build_nim.sh
|
2019-06-12 11:42:31 +03:00 |