diff --git a/external/PIM-tree b/external/PIM-tree index 1d8194d..0a92d43 160000 --- a/external/PIM-tree +++ b/external/PIM-tree @@ -1 +1 @@ -Subproject commit 1d8194d9f9c478aca9467e0525669ea05f292e7f +Subproject commit 0a92d439a534f7be0b2682bcc8c197a289ee76b4 diff --git a/scripts/pimtree_input_gen.sh b/scripts/pimtree_input_gen.sh index 1bc1c40..1268fc6 100755 --- a/scripts/pimtree_input_gen.sh +++ b/scripts/pimtree_input_gen.sh @@ -5,6 +5,7 @@ PIM_TREE_DIR="$SCRIPT_DIR/../external/PIM-tree" PIM_TREE_BUILD_DIR="$PIM_TREE_DIR/build" mkdir -p $INPUT_DIR cd $PIM_TREE_DIR +export PARLAY_NUM_THREADS=1 # パラメータは以下の通り