#!/bin/bash

SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
echo "BeforeInstall" >> $SCRIPT_DIR/../../../../../executed_proof_file