minor

kupl · Feb 6, 2018 · 05eeb07 · 05eeb07
1 parent dd0e655
commit 05eeb07
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/bin/crestc b/bin/crestc
@@ -15,6 +15,3 @@ ${CILLY} $1 -o ${TARGET} --save-temps --doCrestInstrument \
 
 ${DIR}/bin/process_cfg
 #python ${DIR}/bin/calc_dominator.py
-# processing dominator begins
-#ABS_PATH=`dirname $(readlink -f $1)`
-#${DIR}/bin/process_dom $ABS_PATH