#!/bin/sh python tools/patch_updater.py $@