#!/bin/bash
if [ "$LABEL" == 'Junior DVD' ] ; then
subst 's/"\/" .size 4194304 . 8388608/"\/" \(size 8388608 . 16777216/' /var/cache/alterator/vm-profile.scm
fi

