#!/bin/sh
# This file was generated automatically by configure.  Do not edit.
# The GNU C library was configured in /home/carsten/PVS/software/dlx_rte/glibc-1.09/dlx for
# none 1 version 2 on none dlx/dlx as follows:
release=1 version=2 ../configure  --target=dlx-dlx-dlx --prefix=/usr/local/dlx/rte/lib/gcc-lib/dlx/2.7.2.3/ $*