]> andersk Git - splint.git/blame - fixBinaryDist.sh
Makefiles for preBuilt this directory is intended to be part of the binary distributi...
[splint.git] / fixBinaryDist.sh
CommitLineData
363a5c93 1#!/bin/sh
2
3#This script is intended to be called in make dist
4#THis is intended to be run in the distribution directory...
5
6pwd
7#echo doing bash
8#bash
9
10#Need to do this so modifications to the destination directory won't effect
11#the real directory
12rm Makefile.am
13rm configure.ac
14cp Makefile.binary.am Makefile.am
15cp configure.binary.ac configure.ac
16cp configure.binary configure
17cp Makefile.binary.in Makefile.in
18
19#run these if possible...
20autoconf
21automake
22mkdir src
23ln -s ../preBuilt/splint src/splint
This page took 0.080037 seconds and 5 git commands to generate.