#!/bin/sh redo-ifchange "$0" "test_gen" ./test_gen