scripts/Configure


1
2
3
4
5
6
7
8
9
10

#! /bin/sh -e

# A script to be called to run all the other configuring scripts manually.

scripts/Configure-Makefile
scripts/Configure-os.h
scripts/Configure-os.c
scripts/Configure-config.h

# End of Configure