This file is indexed.

/usr/share/faumachine/experiments/install-RedHat-9/Makefile is in faumachine-data 20120707-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
9
#
# $Id: Makefile,v 1.2 2009-11-06 07:51:25 vrsieh Exp $
#

SIMULATION_PC := pc-4.vhdl
CDROM_IMAGE := 	RedHat-9-CD-1 RedHat-9-CD-2 RedHat-9-CD-3
CHANGE_DISK_SIZE := 4096

include $(dir $(shell which faum))/../share/faumachine/vhdl/experiment.mk