#!/bin/sh
echo include makefile.nix > makefile.platform
echo Platform set to *nix
