diff options
author | krad <krad@fb.com> | 2016-07-25 14:17:28 -0700 |
---|---|---|
committer | krad <krad@fb.com> | 2016-07-25 15:10:24 -0700 |
commit | a4955b39ac4849e1dea33d70cd17f0008c90a117 (patch) | |
tree | 89048c8458f382fc28ae381ba1bc24552feabe8b /build_tools | |
parent | ae0ad719de4869df4051d70b82088f376f9d39c5 (diff) |
Run sandcastle tests in /dev/shm
Diffstat (limited to 'build_tools')
-rwxr-xr-x | build_tools/rocksdb-lego-determinator | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_tools/rocksdb-lego-determinator b/build_tools/rocksdb-lego-determinator index 08eebf915..55541c097 100755 --- a/build_tools/rocksdb-lego-determinator +++ b/build_tools/rocksdb-lego-determinator @@ -56,7 +56,7 @@ fi CLEANUP_ENV=" { 'name':'Cleanup environment', - 'shell':'rm -rf /dev/shm/rocksdb && mkdir /dev/shm/rocksdb && make clean', + 'shell':'rm -rf /dev/shm/rocksdb && mkdir /dev/shm/rocksdb && make clean; chmod -t /dev/shm', 'user':'root' }" |