|
@@ -2,7 +2,8 @@
|
|
|
|
|
|
# You can set $DUORAM_STORAGE to a directory on the host to avoid
|
|
# You can set $DUORAM_STORAGE to a directory on the host to avoid
|
|
# writing large amounts of data into the docker. It's best if this is on
|
|
# writing large amounts of data into the docker. It's best if this is on
|
|
-# a fast storage medium (or even a ramdisk).
|
|
+# a fast storage medium (or even a ramdisk). (This functionality is
|
|
|
|
+# actually unused for the USENIX Security artifact.)
|
|
|
|
|
|
if [ "$DUORAM_STORAGE" != "" ]; then
|
|
if [ "$DUORAM_STORAGE" != "" ]; then
|
|
mkdir -p ${DUORAM_STORAGE}/party{0,1,2}
|
|
mkdir -p ${DUORAM_STORAGE}/party{0,1,2}
|