Searched refs:SLASH (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/tools/molly/
H A Dbuild_data_files.sh41 SLASH=${BIN////_}
42 BIN_OUT="$OUTPUT_PREFIX/${FILE_PREFIX}_$SLASH"
/barrelfish-master/tools/arm_molly/
H A Dbuild_data_files.sh40 #was SLASH=${BIN////_}, which only replaced slashes, but we need to replace "-" for armv7-m
42 SLASH=${UNDERSCORED////_}
43 BIN_OUT="$OUTPUT_PREFIX/${FILE_PREFIX}_$SLASH"
H A Dbuild_molly_image.sh150 SLASH=${UNDERSCORED////_}
151 BIN_OUT="$TMP_DIR/${TMP_PREFIX}_$SLASH"

Completed in 89 milliseconds