diff options
Diffstat (limited to 'third_party/gerrit_plugins')
| -rw-r--r-- | third_party/gerrit_plugins/builder.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/gerrit_plugins/builder.nix b/third_party/gerrit_plugins/builder.nix index 84515a9f68d2..a478dfe5d71d 100644 --- a/third_party/gerrit_plugins/builder.nix +++ b/third_party/gerrit_plugins/builder.nix @@ -4,7 +4,7 @@ { name , version , src - , depsHash ? null + , depsHash ? null , overlayPluginCmd ? '' cp -R "${src}" "$out/plugins/${name}" echo "STABLE_BUILD_${lib.toUpper name}_LABEL v${version}-nix${if patches != [] then "-dirty" else ""}" >> $out/.version |