#!/bin/sh -e
echo linux_ppc
