+++ /dev/null
-/* $Id$
-
-This file is part of builder
-Copyright © 2006-2007 Mikko Rasa, Mikkosoft Productions
-Distributed under the LGPL
-*/
-
-#ifndef VIRTUALTARGET_H_
-#define VIRTUALTARGET_H_
-
-#include "target.h"
-
-/**
-A target that is not associated with any file.
-*/
-class VirtualTarget: public Target
-{
-public:
- VirtualTarget(Builder &b, const std::string &n): Target(b, 0, n) { }
- const char *get_type() const { return "VirtualTarget"; }
- Action *build() { rebuild=false; return 0; }
- unsigned count_rebuild();
-private:
- void check_rebuild();
-};
-
-#endif