1#!/usr/bin/env python
2
3# Copyright (c) 2009 Google Inc. All rights reserved.
4# Use of this source code is governed by a BSD-style license that can be
5# found in the LICENSE file.
6
7import sys
8
9contents = r"""
10#include <stdio.h>
11
12void prog1(void)
13{
14  printf("Hello from make-prog1.py\n");
15}
16"""
17
18open(sys.argv[1], 'w').write(contents)
19
20sys.exit(0)
21