#!/bin/sh
echo "x86_64--linux-as called"
