#
# Thierry Parmentelat - INRIA Sophia Antipolis
#
-### $Id: Makefile 1088 2007-11-15 14:51:33Z thierry $
+### $Id$
#
# run 'make help' for more info
Copyright (c) 2003 The Trustees of Princeton University (Trustees).
-$Id: README,v 1.2 2004/04/14 21:22:09 mlh-pl_rpm Exp $
+$Id$
Here are some general guidelines for writing spec files.
# Marc E. Fiuczynski <mef@cs.princeton.edu>
# Copyright (C) 2007 The Trustees of Princeton University
#
-# $Id: build.common 1094 2007-11-16 08:38:42Z thierry $
+# $Id$
#
function pl_getDefaultDistro() {
#
# TMP=/tmp EDITOR=emacs crontab crontab
#
-# $Id: crontab,v 1.12 2005/03/10 20:57:06 mlhuang Exp $
+# $Id$
#
SHELL=/bin/bash
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2006 The Trustees of Princeton University
#
-# $Id: mkbuild,v 1.2.4.1 2007/08/30 16:39:00 mef Exp $
+# $Id$
#
export PATH=/sbin:/bin:/usr/sbin:/usr/bin
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2004-2006 The Trustees of Princeton University
#
-# $Id: mkfedora 1073 2007-11-15 09:56:03Z thierry $
+# $Id$
#
export PATH=/sbin:/bin:/usr/sbin:/usr/bin
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2003-2006 The Trustees of Princeton University
#
-# $Id: onelab.mk,v 1.25 2007/04/16 15:28:18 thierry Exp $
+# $Id$
#
#
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2004 The Trustees of Princeton University
#
-# $Id: packages.sh,v 1.6 2005/06/14 18:53:43 mlhuang Exp $
+# $Id$
#
# Set defaults
cat <<EOF
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
-<!-- \$Id: packages.sh,v 1.6 2005/06/14 18:53:43 mlhuang Exp $ -->
+<!-- \$Id$ -->
<!-- Generated at $(date) in $(cd ${1-.} && pwd -P) on $HOSTNAME by $USER -->
<!DOCTYPE PACKAGES [
<!ELEMENT PACKAGES (PACKAGE)*>
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2003-2006 The Trustees of Princeton University
#
-# $Id: planetlab.mk 1082 2007-11-15 13:49:05Z thierry $
+# $Id$
#
#
* Mark Huang <mlhuang@cs.princeton.edu>
* Copyright (C) 2006 The Trustees of Princeton University
*
- * $Id: spec2make.c 968 2007-11-07 16:15:55Z thierry $
+ * $Id$
*/
#include <stdio.h>
#!/bin/bash
-REVISION=$(echo '$Revision: 1099 $' | sed -e 's,\$,,g' -e 's,^\w*:\s,,' )
+REVISION=$(echo '$Revision$' | sed -e 's,\$,,g' -e 's,^\w*:\s,,' )
COMMANDPATH=$0
COMMAND=$(basename $0)