#!/bin/sh

echo "$@"> platform.h