#!/bin/sh

ln -sf Makefile.linux Makefile

echo "soft-linked Makefile to Makefile.linux"