aa3bc3d5dc
Substitution is now simply a Store -> Store copy operation, most typically from BinaryCacheStore to LocalStore.
13 lines
225 B
C++
13 lines
225 B
C++
#pragma once
|
|
|
|
/* A trivial class to run a function at the end of a scope. */
|
|
class Finally
|
|
{
|
|
private:
|
|
std::function<void()> fun;
|
|
|
|
public:
|
|
Finally(std::function<void()> fun) : fun(fun) { }
|
|
~Finally() { fun(); }
|
|
};
|