#!/bin/sh -e
echo linux-gnu
