From 50cb6f978218c00f2fee52cef8939f2ef8d4f2b6 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 2 Apr 2009 08:16:15 +0000
Subject: [PATCH] * Debian packages: use /etc, not /usr/etc.

---
 release.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/release.nix b/release.nix
index ed91c5a7..50607ba5 100644
--- a/release.nix
+++ b/release.nix
@@ -183,6 +183,7 @@ let
       diskImage = diskImageFun vmTools.diskImages;
       memSize = 1024;
       meta = { schedulingPriority = toString prio; };
+      configureFlags = "--sysconfdir=/etc";
     };