1 files changed, 9 insertions, 0 deletions

diff --git a/fix_taskset_names.sh b/fix_taskset_names.sh
index 778920b..5dc6fc7 100755
--- a/fix_taskset_names.sh
+++ b/fix_taskset_names.sh
@@ -1,4 +1,8 @@
 #!/bin/bash
+echo "Make sure to run this from within your taskset folder!"
+echo "Press enter to confirm that you are..."
+read
+
 find . -type f -exec sed -i "s/rijndael_d\,/rijndael_dec,/g" {} \;
 sleep 1
 find . -type f -exec sed -i "s/rijndael_e\,/rijndael_enc,/g" {} \;
@@ -6,3 +10,8 @@ sleep 1
 find . -type f -exec sed -i "s/cjpeg_tran\,/cjpeg_transupp,/g" {} \;
 sleep 5
 find . -type f -exec sed -i "s/cjpeg_wrbm\,/cjpeg_wrbmpp,/g" {} \;
+sleep 1
+find . -type f -exec sed -i "s/texture_synt\,/texture_synthesis,/g" {} \;
+sleep 1
+# Convert L3 allocations to integers
+find . -type f -name l3alloc.csv -exec sed -i "s/\.0//g" {} \;