#!/bin/sh -e
echo linux
