#!/bin/bash
echo "$0 $*" >> "$RECORD_DIR/codesign.log"
exit 0
