diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2016-05-21 14:35:40 +0900 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2016-05-21 14:35:40 +0900 |
| commit | e01ff0ae7718fbddb5e81c3b4d967af90d9d64ba (patch) | |
| tree | a8896e31a35d056467c20992e7f3a236183dff6e /src | |
| parent | 60e7991181e6459e2a4f200072190e1cd98caa7d (diff) | |
and delete it when we nuke the chroot
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Property/Sbuild.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Propellor/Property/Sbuild.hs b/src/Propellor/Property/Sbuild.hs index 64d4911c..996b5619 100644 --- a/src/Propellor/Property/Sbuild.hs +++ b/src/Propellor/Property/Sbuild.hs @@ -134,6 +134,8 @@ built s@(SbuildSchroot suite arch) mirror = deleted = check (not <$> unpopulated (schrootRoot s)) $ property ("no sbuild schroot for " ++ show s) $ do liftIO $ removeChroot $ schrootRoot s + liftIO $ nukeFile + ("/etc/sbuild/chroot" </> show s ++ "-sbuild") makeChange $ nukeFile (schrootConf s) -- if we're building a sid chroot, add useful aliases |
